hard mathematical induction problems